1. Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24 2003 : revised papers
پدیدآورنده: Rene Alt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Computer propgrams -- Congresses ، Numerical analysis,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2991

